Calmet, Jacques: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || Machine Learning for Inductive Theorem Proving

Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques

Year:

2018

Language:

english

File:

PDF, 525 KB

english, 2018

2

The role of computer‐based symbolic manipulation packages in mathematics teaching for engineers

Calmet, Jacques

Journal:

International Journal of Mathematical Education

Year:

1987

Language:

english

File:

PDF, 984 KB

english, 1987

3

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving

Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques

Year:

2018

Language:

english

File:

PDF, 888 KB

english, 2018

4

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) ||

Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques

Year:

2018

Language:

english

File:

PDF, 11.22 MB

english, 2018

5

[Lecture Notes in Computer Science] Computer Algebra Volume 144 || Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients

Calmet, Jacques

Year:

1982

Language:

english

File:

PDF, 801 KB

english, 1982

6

Dynamics of the Fisher information metric

Calmet, Xavier, Calmet, Jacques

Journal:

Physical Review E

Year:

2005

Language:

english

File:

PDF, 71 KB

english, 2005

7

[Lecture Notes in Computer Science] Computer Algebra Volume 144 || The construction of multivariate polynomials with preassigned zeros

Calmet, Jacques

Year:

1982

Language:

english

File:

PDF, 314 KB

english, 1982

8

Preface for the special issue devoted to AISC 2014

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 73 KB

english, 2017

9

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || : A Linear Algebra Textbook System

Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques

Year:

2018

Language:

english

File:

PDF, 600 KB

english, 2018

10

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets

Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques

Year:

2018

Language:

english

File:

PDF, 448 KB

english, 2018

11

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || Automated Reasoning in the Age of the Internet

Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

12

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || Towards an Automated Geometer

Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques

Year:

2018

Language:

english

File:

PDF, 542 KB

english, 2018

13

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest

Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques

Year:

2018

Language:

english

File:

PDF, 369 KB

english, 2018

14

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 1476 || Automatic generation of epsilon-delta proofs of continuity

Calmet, Jacques, Plaza, Jan

Year:

1998

Language:

english

File:

PDF, 1.02 MB

english, 1998

15

High-Schmidt number mass transfer through turbulent gas–liquid interfaces

Isabelle Calmet, Jacques Magnaudet

Journal:

International Journal of Heat and Fluid Flow

Year:

1998

Language:

english

File:

PDF, 704 KB

english, 1998

16

Foreword

Jacques Calmet, Alain Carrière

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 69 KB

english, 1997

17

Towards the Mathematics Software Bus

Jacques Calmet, Karsten Homann

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 682 KB

english, 1997

18

Computer algebra and artificial intelligence

Journal:

Mathematics and Computers in Simulation

Year:

1998

Language:

english

File:

PDF, 121 KB

english, 1998

19

A language called “Algebra”

Thomas Beth, Jacques Calmet

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1990

Language:

english

File:

PDF, 217 KB

english, 1990

20

Editors’ foreword

Jacques Calmet, François Ollivier

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2009

Language:

english

File:

PDF, 112 KB

english, 2009

21

In memoriam Thomas Beth

Jacques Calmet, Willi Geiselmann

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2008

Language:

english

File:

PDF, 48 KB

english, 2008

22

Preface

Jacques Calmet, Volker Sorge

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 116 KB

english, 2009

23

Transfert de masse à l'interface d'un film turbulent libre ou cisaillé

Isabelle Calmet, Jacques Magnaudet

Journal:

Revue Générale de Thermique

Year:

1998

File:

PDF, 1.42 MB

1998

24

Composite Distributive Lattices as Annotation Domains for Mediators

Jacques Calmet, Peter Kullmann, Morio Taneda

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 112 KB

english, 2002

25

[Lecture Notes in Computer Science] Design and Implementation of Symbolic Computation Systems Volume 1128 || A deductive database for mathematical formulas

Calmet, Jacques, Limongelli, Carla

Year:

1996

Language:

english

File:

PDF, 706 KB

english, 1996

26

[Lecture Notes in Computer Science] Computer Algebra Volume 144 || The parallel Risch algorithm (I)

Calmet, Jacques

Year:

1982

Language:

english

File:

PDF, 692 KB

english, 1982

27

[Lecture Notes in Computer Science] Algebraic Algorithms and Error-Correcting Codes Volume 229 || Covering radii of even subcodes of t-dense codes

Calmet, Jacques

Year:

1986

Language:

english

File:

PDF, 529 KB

english, 1986

28

Foreword on the relationship of computer algebra with mathematics and physics

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 148 KB

english, 2012

29

Preface

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 101 KB

english, 2012

30

An improvement of Rabin's probabilistic algorithm for generating irreducible polynomials over GF(p)

Jacques Calmet, Rüdiger Loos

Journal:

Information Processing Letters

Year:

1980

Language:

english

File:

PDF, 169 KB

english, 1980

31

On a formulation of qubits in quantum field theory

Jacques Calmet, Xavier Calmet

Journal:

Physics Letters A

Year:

2012

Language:

english

File:

PDF, 108 KB

english, 2012

32

Turbulent mass transfer through a flat shear-free surface

MAGNAUDET, JACQUES, CALMET, ISABELLE

Journal:

Journal of Fluid Mechanics

Year:

2006

Language:

english

File:

PDF, 621 KB

english, 2006

33

Statistical structure of high-Reynolds-number turbulence close to the free surface of an open-channel flow

CALMET, ISABELLE, MAGNAUDET, JACQUES

Journal:

Journal of Fluid Mechanics

Year:

2003

Language:

english

File:

PDF, 361 KB

english, 2003

34

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 6167 || A Formal Quantifier Elimination for Algebraically Closed Fields

Autexier, Serge, Calmet, Jacques, Delahaye, David, Ion, Patrick D. F., Rideau, Laurence, Rioboo, Renaud, Sexton, Alan P.

Year:

2010

Language:

english

File:

PDF, 230 KB

english, 2010

35

Large-eddy simulation of high-Schmidt number mass transfer in a turbulent channel flow

Calmet, Isabelle, Magnaudet, Jacques

Journal:

Physics of Fluids

Year:

1997

Language:

english

File:

PDF, 780 KB

english, 1997

36

[Lecture Notes in Computer Science] Computer Algebra Volume 144 || Commutative algebra and computer algebra

Calmet, Jacques

Year:

1982

Language:

english

File:

PDF, 376 KB

english, 1982

37

[Lecture Notes in Computer Science] Computer Algebra Volume 144 || Computer algebra systems viewed by a notorious user

Calmet, Jacques

Year:

1982

Language:

english

File:

PDF, 1.00 MB

english, 1982

38

[Lecture Notes in Computer Science] Algebraic Algorithms and Error-Correcting Codes Volume 229 || Groebner bases for non-commutative polynomial rings

Calmet, Jacques

Year:

1986

Language:

english

File:

PDF, 497 KB

english, 1986

39

[Lecture Notes in Computer Science] Computer Algebra Volume 144 || Computing double coset representatives for the generation of solvable groups

Calmet, Jacques

Year:

1982

Language:

english

File:

PDF, 283 KB

english, 1982

40

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 4120 || A Search Engine for Mathematical Formulae

Calmet, Jacques, Ida, Tetsuo, Wang, Dongming

Year:

2006

Language:

english

File:

PDF, 608 KB

english, 2006

41

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 4120 || An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial

Calmet, Jacques, Ida, Tetsuo, Wang, Dongming

Year:

2006

Language:

english

File:

PDF, 392 KB

english, 2006

42

[Lecture Notes in Computer Science] Design and Implementation of Symbolic Computation Systems Volume 1128 || Equality elimination for the tableau method

Calmet, Jacques, Limongelli, Carla

Year:

1996

Language:

english

File:

PDF, 1.05 MB

english, 1996

43

[IEEE 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) - Sydney, Australia (2006.11.28-2006.12.1)] 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) - A Knowledge-based Security Policy Framework for Business Process Management

Huang, Dong, Yang, Yi, Calmet, Jacques

Year:

2006

Language:

english

File:

PDF, 118 KB

english, 2006

44

[IEEE 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) - Sydney, Australia (2006.11.28-2006.12.1)] 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) - From the OntoBayes Model to a Service Oriented Decision Support System

Yang, Yi, Calmet, Jacques

Year:

2006

Language:

english

File:

PDF, 120 KB

english, 2006

45

[IEEE 2006 IEEE International Conference on e-Business Engineering (ICEBE'06) - Shanghai, China (2006.10.24-2006.10.26)] 2006 IEEE International Conference on e-Business Engineering (ICEBE'06) - ModelingWeb Services Policy with Corporate Knowledge

Huang, Dong, Yang, Yi, Calmet, Jacques

Year:

2006

Language:

english

File:

PDF, 140 KB

english, 2006

46

[Lecture Notes in Computer Science] Mathematical Methods in Computer Science Volume 5393 ||

Calmet, Jacques, Geiselmann, Willi, Müller-Quade, Jörn

Year:

2008

Language:

english

File:

PDF, 3.59 MB

english, 2008

47

[Lecture Notes in Computer Science] Algebraic Algorithms and Error-Correcting Codes Volume 229 || Recent results on coding and algebraic geometry

Calmet, Jacques

Year:

1986

Language:

english

File:

PDF, 569 KB

english, 1986

48

[Lecture Notes in Computer Science] Artificial Intelligence, Automated Reasoning, and Symbolic Computation Volume 2385 ||

Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Year:

2002

Language:

english

File:

PDF, 4.25 MB

english, 2002

49

[Lecture Notes in Computer Science] Artificial Intelligence, Automated Reasoning, and Symbolic Computation Volume 2385 || Continuous First-Order Constraint Satisfaction

Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Year:

2002

Language:

english

File:

PDF, 210 KB

english, 2002

50

[Lecture Notes in Computer Science] Artificial Intelligence, Automated Reasoning, and Symbolic Computation Volume 2385 || Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints

Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Year:

2002

Language:

english

File:

PDF, 184 KB

english, 2002